update{-}spec{-}vars(${\it upd}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map(($\lambda$$p$.$p$.2); fpf{-}domain(${\it upd}$))